Concolic testing - PDFSEARCH.IO - Document Search Engine

Concolic testing
Results: 54

#	Item
21	Program Extrapolation with Jennisys K. Rustan M. Leino0 and Aleksandar Milicevic1 0 Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-07 17:01:53 Data types Type theory Control flow Eval Type system Concolic testing Constructor Algorithm KeY Computing Software engineering Mathematics
22	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
23	Program Extrapolation with Jennisys K. Rustan M. Leino Aleksandar Milicevic Microsoft Research Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-11-06 16:43:36 Data types Algorithm Mathematical logic Theoretical computer science Eval Constructor Objective-C Concolic testing Control flow Computing Software engineering Computer programming
24	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
25	HAMPI: A Solver for String Constraints Adam Kie˙zun Vijay Ganesh Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Computer programming Compiler construction Programming paradigms Data management SQL SQL injection Context-free grammar Parsing Concolic testing Computing Formal languages Software engineering
26	Reliability Digest, NovemberExploit Generation from Software Failures Shih-Kun Huang Information Technology Service Center National Chiao Tung University Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:54 Automated theorem proving Concolic testing Symbolic execution Reliability engineering KeY Code injection Function Mathematics Formal methods Systems engineering
27	Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Logic in computer science Electronic design automation NP-complete problems Model checking Java Pathfinder Satisfiability Modulo Theories Concolic testing KeY Theoretical computer science Applied mathematics Mathematics
28	icse13edu-codingdules.dvi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-11 03:02:52 Business Product management Software engineering Software development process Unit testing Duel Concolic testing Software development Software testing Extreme programming
29	Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles Ning Chen and Sunghun Kim The Hong Kong University of Science and Technology Hong Kong, China Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-09-07 00:53:22 Mathematics Test Data Generation Concolic testing Constraint satisfaction problem Symbolic execution Actor model Code coverage Fifteen puzzle Mutation testing Software testing Games Software engineering